#These are the commands to verify that 0-surgery on the Mazur pattern inside the solid torus is hyperbolic with volume < 4.

P=Manifold('DT:[(-8,-14,18),(10,-6,-16,-4,-12,2)]')

P.solution_type()

P.dehn_fill((0,1),1)

V0P=P.filled_triangulation()

V0P.solution_type()

V0P.volume()
